Merge branch 'widget-factory-theme' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 26 Mar 2020 18:23:11 +0000 (18:23 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 26 Mar 2020 18:23:11 +0000 (18:23 +0000)
commit5fdb897f06cc4fd6d5974566bb3a8522b20e2661
treee1af807f4d03bb1433d86fc0e485c6228ea41ef4
parent0d710b0353e60764dcb24671109ff5e1f3cd288f
parent8ab2e31b5807696e2e8385980ed29dd7cc93f514
Merge branch 'widget-factory-theme' into 'master'

widget-factory: Add theme switch

See merge request GNOME/gtk!1573